Computer languages - PDFSEARCH.IO - Document Search Engine

Computer languages
Results: 15814

#	Item
521	Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:22:51 Object-oriented programming Simulation software Logic in computer science Modelica Scientific modeling Modeling language Operational semantics Semantics Domain-specific language OpenModelica Wolfram SystemModeler
522	Solving Exists/Forall Problems With Yices Extended Abstract Bruno Dutertre Computer Science Laboratory SRI International Add to Reading List Source URL: yices.csl.sri.com Language: English - Date: 2016-07-28 16:53:46 Model theory Logic in computer science Semantics Formal languages Logical truth Satisfiability modulo theories Interpretation Quantifier elimination True quantified Boolean formula Quantifier Substitution Well-formed formula
523	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
524	REINV ENT Y OUR C ONTENT IXXUS DESIGN HUB (IDH) FEATURE LIST IXXUS DESIGN HUB PRODUCT COMPARISON Add to Reading List Source URL: www.ixxus.com Language: English - Date: 2014-11-06 07:20:05 Technical communication Desktop publishing software Markup languages Computer file formats Adobe InDesign Graphics software Ordinal indicator HTML Pages Cascading Style Sheets TeX Formatted text
525	Concurrent Objects -- Introspect, Extrospect & Prospect -- Aki Yonezawa Dept. of Computer Science & Information Technology Center Add to Reading List Source URL: www.aito.org Language: English - Date: 2009-05-13 04:57:30 Concurrent programming languages Concurrent computing Object-oriented programming Cross-platform software Edsger W. Dijkstra Actor model Object Go E Actor-Based Concurrent Language Concurrency
526	Virtual Machine Showdown: Stack Versus Registers Yunhe Shi, David Gregg, Andrew Beatty M. Anton Ertl Department of Computer Science Add to Reading List Source URL: www.usenix.org Language: English - Date: 2005-08-02 11:12:30 Central processing unit Assembly languages Java virtual machine Android Programming language implementation Stack machine Java bytecode Dalvik Instruction set Processor register Stack Opcode
527	Scheme on the Web and in the Classroom A Retrospective about the LAML Project Kurt Nørmark Department of Computer Science, Aalborg University, Denmark Add to Reading List Source URL: users-cs.au.dk Language: English - Date: 2012-09-06 07:47:48 Functional languages Markup languages Text editors Transformation languages Formal languages Lisp Emacs Scheme XML transformation language XSLT Abstract syntax tree Comment
528	Computational Process Networks a model and framework for high-throughput signal processing Gregory E. Allen Add to Reading List Source URL: users.ece.utexas.edu Language: English - Date: 2011-04-24 22:59:22 Models of computation Computer architecture Synchronous programming languages Parallel computing Computer data Dataflow Kahn process networks Concurrent computing Concurrency LabVIEW SIGNAL Dataflow architecture
529	Summer 2009 :: COM SCI 181, Sec.1 :: Introduction to Formal Languages and Automata Theory :: Syllabus/Info Class Information Location, day, time: from the Registrar Add to Reading List Source URL: atakangunal.com Language: English* - Date: 2014-10-22 13:26:26 Formal languages Theoretical computer science Theory of computation Computability theory Models of computation Computability Automata theory Introduction to the Theory of Computation Turing machine Super-recursive algorithm Algorithm Finite-state machine
530	Technical Report UCAM-CL-TR-578 ISSNNumber 578 Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:02 Computer networking Packet processing Procedural programming languages Network processor Transmission Control Protocol ALGOL 68

UPDATE